// splash.h
void splash();